منابع مشابه
Capability-Passing Processes
Capability-passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually made. It relies on a restricted API or programming language and on the exchange of digital certificates representing capabilities to ensure that participants are faithful to a protocol and that outsiders cannot interfere...
متن کاملModel Checking Value-Passing Processes
An algorithm for model checking value-passing processes is presented. Processes are modeled as symbolic transition graphs with assignments. To specify properties for such processes a graphical predicate mu-calculus is introduced. It allows arbitrary nesting of the least and greatest fixpoints, and contains the propositional mu-calculus as a proper subset. The algorithm instantiates input variab...
متن کاملResiduals based process capability indices for two-stage processes
The manufacturing operations often involve multistage processes where the process capability of each stage is affected by the process capability of its precedent processes. This property is known as the cascade property. The purpose of this paper is to estimate the process capability of the second stage of two-stage process while the cascade property impact is removed using residuals analysis. ...
متن کاملA graph model of message passing processes
In the paper we consider a graph model of message passing processes and present a method verification of message passing processes. The method is illustrated by an example of a verification of sliding window protocol.
متن کاملType-checked message-passing between functional processes
Karlsson introduced the notion of communicating functional processes [Karlsson81]. It relied on a non-deterministic function, used within the functional program, to implement message-passing between processes. Stoye described a sorting office for inter-process messages which removed the need for non-determinism in the functional language [Stoye86]. Turner added a limited form of static type-che...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2007
ISSN: 0167-6423
DOI: 10.1016/j.scico.2007.01.007